Nuprl Definition : ecl-max
11,40
postcript
pdf
ecl-max(
x
)
== ecl_ind(
x
;
k
,
test
.0;
a
,
b
,
A
,
B
.if
A
<z
B
then
B
else
A
fi ;
a
,
b
,
A
,
B
.if
A
<z
B
==
then
B
==
else
A
==
fi ;
a
,
b
,
A
,
B
.if
A
<z
B
then
B
else
A
fi ;
a
,
A
.
A
;
a
,
m
,
A
.
A
;
a
,
m
,
A
.if
A
<z
m
==
then
m
==
else
A
==
fi ;
a
,
l
,
A
.
A
)
latex
Definitions
i
<z
j
,
if
b
then
t
else
f
fi
,
#$n
,
ecl
ind
FDL editor aliases
ecl-max
origin